[[Category]]
# Locally small category

A **locally small** category $\cat C$ is a [[category]] for which the morphisms $\cat C(X,Y)$ between any two objects $X,Y \in \cat C$ form a [[small set]] (the [[Hom-functor|hom-set]]). #m/def/cat


#
---
#state/tidy | #lang/en | #SemBr